一个程序的控制流图中有6个节点，10条边，在测试用例数最少的情况下，确保程序中每个可执行语句至少执行一次所需要的测试用例数的上限是( )。